A Tutorial Introduction to CSP in Unifying Theories of ProgrammingCAVALCANTI, Ana; WOODCOCK, Jim.Lecture notes in computer science. 2006, pp 220-268, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 49 p.Conference Paper

Techniques for Temporal Logic Model CheckingDEHARBE, David.Lecture notes in computer science. 2006, pp 315-367, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 53 p.Conference Paper

Verifying a hotel key card systemNIPKOW, Tobias.Lecture notes in computer science. 2006, pp 1-14, issn 0302-9743, isbn 3-540-48815-4, 1Vol, 14 p.Conference Paper

Refinement techniques in software engineering (First Pernambuco summer school on software engineering, PSSE 2004, Recife, Brazil, November 23 - December 5, 2004)Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-46253-8, 1Vol, X-391 p, isbn 3-540-46253-8Conference Proceedings

Elementary Probability TheoryLecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-46253-8, 1Vol, p. 368Conference Paper

Using CSPDAVIES, Jim.Lecture notes in computer science. 2006, pp 64-122, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 59 p.Conference Paper

Theoretical aspects of computing (ICTAC 2006)Barkaoui, Kamel; Cavalcanti, Ana; Cerone, Antonio et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-48815-4, 1Vol, XV-370 p, isbn 3-540-48815-4Conference Proceedings

Library Block SpecificationsLecture notes in computer science. 2006, pp 375-391, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 17 p.Conference Paper

Proofs of Lemmas and Theorems in the UTPLecture notes in computer science. 2006, pp 369-374, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 6 p.Conference Paper

Proof-producing program analysisCHAIEB, Amine.Lecture notes in computer science. 2006, pp 287-301, issn 0302-9743, isbn 3-540-48815-4, 1Vol, 15 p.Conference Paper

Refinement : An OverviewCAVALCANTI, Ana; SAMPAIO, Augusto; WOODCOCK, Jim et al.Lecture notes in computer science. 2006, pp 1-17, issn 0302-9743, isbn 3-540-46253-8, 1Vol, 17 p.Conference Paper

Interesting properties of the real-time conformance relation tiocoKRICHEN, Moez; TRIPAKIS, Stavros.Lecture notes in computer science. 2006, pp 317-331, issn 0302-9743, isbn 3-540-48815-4, 1Vol, 15 p.Conference Paper

Z/eves and the mondex electronic purseWOODCOCK, Jim; FREITAS, Leo.Lecture notes in computer science. 2006, pp 15-34, issn 0302-9743, isbn 3-540-48815-4, 1Vol, 20 p.Conference Paper

A topological approach of the web classificationCIOBANU, Gabriel; RUSU, Danut.Lecture notes in computer science. 2006, pp 80-92, issn 0302-9743, isbn 3-540-48815-4, 1Vol, 13 p.Conference Paper

Reachability analysis of mobile ambients in fragments of AC term rewritingDELZANNO, Giorgio; MONTAGNA, Roberto.Lecture notes in computer science. 2006, pp 302-316, issn 0302-9743, isbn 3-540-48815-4, 1Vol, 15 p.Conference Paper

From control law diagrams to Ada via CircusCAVALCANTI, Ana; CLAYTON, Phil; O'HALLORAN, Colin et al.Formal aspects of computing. 2011, Vol 23, Num 4, pp 465-512, issn 0934-5043, 48 p.Article

Applicable Formal MethodsCAVALCANTI, Ana; DAMS, Dennis; GAUDEL, Marie-Claude et al.Formal aspects of computing. 2011, Vol 23, Num 6, issn 0934-5043, 125 p.Serial Issue

Automatic translation from Crcus to javaFREITAS, Angela; CAVALCANTI, Ana.Lecture notes in computer science. 2006, pp 115-130, issn 0302-9743, isbn 3-540-37215-6, 1Vol, 16 p.Conference Paper

Unifying Theories in ProofPower-ZOLIVEIRA, Marcel; CAVALCANTI, Ana; WOODCOCK, Jim et al.Lecture notes in computer science. 2006, pp 123-140, issn 0302-9743, isbn 3-540-34750-X, 1Vol, 18 p.Conference Paper

Pointers and Records in the Unifying Theories of ProgrammingCAVALCANTI, Ana; HARWOOD, Will; WOODCOCK, Jim et al.Lecture notes in computer science. 2006, pp 200-216, issn 0302-9743, isbn 3-540-34750-X, 1Vol, 17 p.Conference Paper

Object-Orientation in the UTPSANTOS, Thiago; CAVALCANTI, Ana; SAMPAIO, Augusto et al.Lecture notes in computer science. 2006, pp 18-37, issn 0302-9743, isbn 3-540-34750-X, 1Vol, 20 p.Conference Paper

Taking Our Own Medicine : Applying the Refinement Calculus to State-Rich Refinement Model CheckingFREITAS, Leo; CAVALCANTI, Ana; WOODCOCK, Jim et al.Lecture notes in computer science. 2006, pp 697-716, issn 0302-9743, isbn 3-540-47460-9, 1Vol, 20 p.Conference Paper

Refinement algebra for formal bytecode generationDURAN, Adolfo; CAVALCANTI, Ana; SAMPAIO, Augusto et al.Lecture notes in computer science. 2002, pp 347-358, issn 0302-9743, isbn 3-540-00029-1, 12 p.Conference Paper

Handling algebraic properties in automatic analysis of security protocolsBOICHUT, Y; HEAM, P.-C; KOUCHNARENKO, O et al.Lecture notes in computer science. 2006, pp 153-167, issn 0302-9743, isbn 3-540-48815-4, 1Vol, 15 p.Conference Paper

Prime decomposition problem for several kinds of regular codesKIEU VAN HUNG; DO LONG VAN.Lecture notes in computer science. 2006, pp 213-227, issn 0302-9743, isbn 3-540-48815-4, 1Vol, 15 p.Conference Paper